dep r26=r28,r26,23,1
;;
ld8 r18=[r17]
- movl r28=IA64_PSR_IC+IA64_PSR_I+IA64_PSR_DT+IA64_PSR_SI
+
+ // xenoprof
+ // Don't change mPSR.pp.
+ // It is manipulated by xenoprof.
+ movl r28=IA64_PSR_IC+IA64_PSR_I+IA64_PSR_DT+IA64_PSR_SI+IA64_PSR_PP
+
ld1 r23=[r22]
sub r27=-1,r26 // ~r26
mov r24=b0
;; //r19 vpsr
ld8 r29=[r27]
mov r24=b0
+ dep r17=0,r26,IA64_PSR_PP_BIT,1 // For xenoprof
+ // Don't change mPSR.pp
+ // It is maintained by xenoprof.
;;
add r22=IA64_VCPU_MMU_MODE_OFFSET,r21
mov r20=cr.ipsr
;;
ld1 r23=[r22] // mmu_mode
st8 [r27]=r19 // vpsr
- or r20=r20,r26
+ or r20=r20,r17
;;
mov cr.ipsr=r20
movl r28=IA64_PSR_DT+IA64_PSR_RT+IA64_PSR_IT
mov r20=cr.ipsr
movl r28=IA64_PSR_IC+IA64_PSR_I+IA64_PSR_DT+IA64_PSR_SI+IA64_PSR_RT
;;
+ tbit.nz p7,p0=r20,IA64_PSR_PP_BIT // For xenoprof
or r19=r19,r28
dep r20=0,r20,0,32
;;
mov b0=r24
;;
adds r27=IA64_VCPU_FP_PSR_OFFSET,r21
+ (p7) dep r20=-1,r20,IA64_PSR_PP_BIT,1 // For xenoprof
+ // Dom't change mPSR.pp
+ // It is maintaned by xenoprof
;;
ld8 r27=[r27]
;;
void
vmx_ia64_set_dcr(VCPU *v)
{
- unsigned long dcr_bits = IA64_DEFAULT_DCR_BITS;
+ /* xenoprof:
+ * don't change psr.pp.
+ * It is manipulated by xenoprof.
+ */
+ unsigned long dcr_bits = (IA64_DEFAULT_DCR_BITS & ~IA64_DCR_PP) |
+ (ia64_getreg(_IA64_REG_CR_DCR) & IA64_DCR_PP);
// if guest is runing on cpl > 0, set dcr.dm=1
// if geust is runing on cpl = 0, set dcr.dm=0
* , except for the following bits:
* ic/i/dt/si/rt/mc/it/bn/vm
*/
- mask = IA64_PSR_IC + IA64_PSR_I + IA64_PSR_DT + IA64_PSR_SI +
- IA64_PSR_RT + IA64_PSR_MC + IA64_PSR_IT + IA64_PSR_BN +
+ mask = IA64_PSR_IC | IA64_PSR_I | IA64_PSR_DT | IA64_PSR_SI |
+ IA64_PSR_RT | IA64_PSR_MC | IA64_PSR_IT | IA64_PSR_BN |
IA64_PSR_VM;
+ /* xenoprof:
+ * don't change psr.pp.
+ * It is manipulated by xenoprof.
+ */
+ mask |= IA64_PSR_PP;
+
regs->cr_ipsr = (regs->cr_ipsr & mask ) | ( value & (~mask) );
if (FP_PSR(vcpu) & IA64_PSR_DFH)
if (!VMX_DOMAIN(next)) {
/* VMX domains can change the physical cr.dcr.
* Restore default to prevent leakage. */
- ia64_setreg(_IA64_REG_CR_DCR, IA64_DEFAULT_DCR_BITS);
+ uint64_t dcr = ia64_getreg(_IA64_REG_CR_DCR);
+ /* xenoprof:
+ * don't change psr.pp.
+ * It is manipulated by xenoprof.
+ */
+ dcr = (IA64_DEFAULT_DCR_BITS & ~IA64_DCR_PP) | (dcr & IA64_DCR_PP);
+ ia64_setreg(_IA64_REG_CR_DCR, dcr);
}
}
if (VMX_DOMAIN(next))